强爆轰驱动超高速碎片发射装置设计因素分析

为了得到发射装置设计因素和超高速碎片性能间的关系,考虑了药型罩的材料、炸药种类、装药长径比、药型罩的锥角、药型罩的厚度、药型罩顶部靠近装药侧的曲率半径等设计因素,采用AUTODYNTM,结合正交试验,对超高速碎片的发射过程进行数值模拟。结果表明,3种发射装置结构分别可以提供质量为1. 533 g的紫铜碎片、速度为11. 649 km/s的铝碎片、动能为85. 6 k J的铝碎片; 2种发射装置结构均可以提供质量大于1 g、速度高于11 km/s的密实结构圆柱状碎片。验证了仿真方法的可信性,对影响碎片性能的设计因素进行了分析、排序,并得到了这些设计因素与碎片质量、速度、动能的关系。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

机器人步行腿机构的动力分析

本文根据力的叠加原理,采用拆杆拆副法,对一平面闭式多杆步行腿机构进行了较为全面的动力分析,得出了一个运动循环内原动曲柄的输入力矩及各运动副处的约束反力线图,为该机构的驱动、控制及进一步的改型设计提供了必不可少的计算依据。线图分析表明:该机构节省能量,力学性能较好,有良好的应用前景。     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

论火灾损失的核定

对火灾损失核定中存在的问题进行了较深入的分析,通过引入中介组织,成立专家小组,注重时效性,加强人员素质等几方面来解决火灾损失核定中遇到的难题,建议对有关规定进行修改,并且发展火灾公众责任保险,来推进火灾损失核定工作。     

基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。     

不完全信息的装备采购博弈

目前,我国的军品市场正由封闭市场向一个相对开放竞争的环境转变。基于不完全信息的装备采购的博弈模型,探讨了在不完全信息的相对开放的竞争环境下,军企双方对对方的策略、偏好、所处的地位或者状态的信息等策略问题进行了解,并给出了求解方法,通过实例进行了说明,对装备采购实践具有一定的指导意义。     

船舶静态电场跟踪的渐进更新扩展卡尔曼滤波器

为了实现利用船舶静态电场对船舶进行跟踪的目的,针对传统卡尔曼滤波算法中存在的问题,设计一种新的非线性滤波器。建立船舶的状态空间模型,分析传统卡尔曼滤波算法在船舶跟踪中存在的问题;依据渐进贝叶斯思想,利用连续白噪声与离散白噪声序列噪声协方差之间的关系,设计一种新的渐进更新扩展卡尔曼滤波器。仿真结果表明,该滤波器能有效地抑制由于初始误差较大而造成的滤波性能下降和滤波发散,能够有效地跟踪船舶,具有较高的实用价值。     

基于高精度WCNS格式的γ-Reθ转捩模型标定与应用*

在高精度数值风洞平台上,采用低速平板试验数据对基于高精度WCNS格式的γ-Re_θ转捩模型进行了标定,并在二维低速问题中进行了应用。计算结果与试验的对比表明,基于高精度WCNS格式的γ-Re_θ转捩模型可准确模拟自然转捩、旁路转捩及分离转捩的位置,并且具有较低的网格敏感性。同时也表明在中等雷诺数范围,层流区域长度和湍流区域有相同量级时,计算必须采用转捩模型才能准确模拟阻力系数。     

基于Statemate的C~4ISR系统体系结构仿真

首先简要介绍了C4ISR系统体系结构,然后在基于Statemate的系统体系结构分析的基础上,结合防空系统实例给出了它的详细开发过程,为C4ISR系统体系结构的应用提供了初始原型。该项研究对C4ISR领域的系统仿真具有重要意义,值得进一步探讨。